Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
571	PDF Document Add to Reading List Source URL: www.paramountcoachingcentre.com Language: English - Date: 2015-02-11 07:05:40 Ordinary differential equations Integral calculus Operator theory Spectral theory C programming language International Obfuscated C Code Contest Linear differential equation Calculus Mathematical analysis Geometry
572	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:26:12 Software engineering Logic in computer science Programming language semantics Type systems Denotational semantics Programming language Type inference Operational semantics Semantics Programming language theory Theoretical computer science Type theory
573	PDF Document Add to Reading List Source URL: openpowerfoundation.org Language: English - Date: 2015-05-29 15:50:22 ALGOL 68 Software engineering Computing Programming language theory Open-source software Deliverable
574	The five articles in this special issue are the extended, journal versions of the papers first presented at the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation. PEPM’12 took place in January 20 Add to Reading List Source URL: okmij.org Language: English - Date: 2013-07-16 20:02:01 Type theory Theoretical computer science Functional languages Cross-platform software Functional programming Domain-specific language Type system Scala Partial evaluation Computing Software engineering Programming language theory
575	PDF Document Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 11:30:58 Type theory Object-oriented programming Procedural programming languages Functional languages Subtype polymorphism ALGOL 68 OCaml E Software engineering Computing Programming language theory
576	PDF Document Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:43:06 Computing Functional languages Logic in computer science Lisp Combinatory logic ML Normalization property Scope Lambda Programming language theory Software engineering Lambda calculus
577	PDF Document Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2007-01-11 10:22:57 Software Computer programming DrRacket Scheme Programming language theory
578	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-09-30 06:08:05 Programming language theory Type theory Data types Type systems Standard ML Caml F Sharp Increment and decrement operators Area Software engineering Computing Functional languages
579	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Programming language theory Type theory Data types Formal methods Polymorphism Subtype polymorphism Immutable object Type system Model theory Software engineering Computing Object-oriented programming
580	PDF Document Add to Reading List Source URL: www.soemtron.org Language: English - Date: 2011-01-18 12:24:49 Functional languages Procedural programming languages POP-2 COWSEL ALGOL Robin Popplestone ISWIM Rod Burstall Lisp Programming language theory Software engineering Computing

UPDATE